Function type - PDFSEARCH.IO - Document Search Engine

Function type
Results: 893

#	Item
41	HVX: Disciplined Convex Programming and Symbolic Subdifferentiation in Haskell Chris Copeland 1 Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2014-06-12 03:57:46 Convex analysis Mathematical optimization Convex optimization Operations research Variational analysis Subgradient method Subderivative Ellipsoid method Convex function Generalized algebraic data type Convex set Map
42	The Topics Type Inference, Higher Order Algebra, and Lambda Calculus Type Inference: how to find the possible type(s) of expressions, without Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2013-12-11 16:14:47 Lambda calculus Type theory Higher-order functions Programming language comparisons Logic in computer science Anonymous function Type inference Propositional calculus Map Unification Fold Calculus
43	CPSC 211 Data Structures & Implementations (c) Texas A&M UniversityCompiling and Running a C Program in Unix Simple scenario in which your program is in a single Add to Reading List Source URL: twiki.di.uniroma1.it Language: English - Date: 2006-08-22 07:22:25 Subroutines Printf format string Scanf format string Recursion Global variable C standard library Function prototype Type signature Getopt Function pointer
44	Reflections on Standard ML David B. MacQueen AT&T Bell Laboratories Murray Hill NJAbstract. Standard ML is one of a number of new programming languages developed in the 1980s that are seen as suitable vehicles for Add to Reading List Source URL: sml-family.org Language: English - Date: 2016-04-04 09:33:37 Functional languages Procedural programming languages Object-oriented programming languages Data types Source code ML Lisp Programming language Macro Type safety Anonymous function HOL
45	Liouville type properties for embedded minimal surfaces William H. Meeks III∗, Joaqu´ın P´erez†, Antonio Ros March 9, 2006 Abstract Add to Reading List Source URL: www.ugr.es Language: English - Date: 2006-04-18 12:00:46 Riemann surfaces Differential geometry Differential geometry of surfaces Bernhard Riemann Differential topology Minimal surface Harmonic function Uniformization theorem Gaussian curvature Ergodic theory Sigma-algebra
46	785 Documenta Math. A Geometric Quantization of the Kostant–Sekiguchi Correspondence for Scalar Type Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2013-06-18 15:16:50 Representation theory of Lie groups Lie algebras Lie groups Operator theory Quantum mechanics Oscillator representation Orbit method Nilpotent orbit Representation theory Hilbert space Complexification Bessel function
47	Self-applicable Partial Evaluation for Pure Lambda Calculus Torben Æ. Mogensen DIKU, University of Copenhagen, Denmark Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:54 Lambda calculus Combinatory logic Church encoding Fixed-point combinator Anonymous function Higher-order abstract syntax Type system Unification De Bruijn index Lambda calculus definition
48	CSE341: Programming Languages Winter 2013 Unit 1 Summary Standard Description: This summary covers roughly the same material as class and recitation section. It can help to read about the material in a narrative style an Add to Reading List Source URL: courses.cs.washington.edu Language: English - Date: 2013-01-17 14:01:34 Functional languages Procedural programming languages Subroutines Functional programming Type theory ML Monad Scope Recursion Standard ML Nested function HindleyMilner type system
49	sadhana manuscript No. (will be inserted by the editor) A compact kernel for the calculus of inductive constructions A. Asperti · W. Ricciotti · Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2009-02-26 11:27:55 Type theory Matita Calculus of constructions Lambda calculus Recursion Positive-definite kernel Anonymous function Metavariable HindleyMilner type system Type inference Parameter Dependent type
50	A Statically Allocated Parallel Functional Language Alan Mycroft1,2 and Richard Sharp2 1 Computer Laboratory, Cambridge University Add to Reading List Source URL: rich.recoil.org Language: English - Date: 2006-04-13 14:58:01 Recursion Computability theory Theory of computation Subroutines Lambda calculus Primitive recursive function Fold Mutual recursion Higher-order function Type system

UPDATE